Résolution exacte et approchée de problèmes de décision markoviens formulés en logique propositionnelle

Apprentissage de la structure des processus de décision markoviens factorisés pour l’apprentissage par renforcement

Des algorithmes de planification récents issus de la théorie de la décision sont capables de trouver des politiques optimales ou quasi-optimales sur des problèmes de grande taille en utilisant le formalisme des processus de décision markoviens factorisés (FMDPs). Cependant, ces algorithmes ont besoin d’une connaissance a priori de la structure des problèmes qu’ils résolvent. Dans cette contribu...

Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités

RÉSUMÉ.Dans cet article, nous présentons un cadre générique, graphique et algébrique, permettant de représenter et de manipuler des problèmes de décision séquentielle incluant incertitudes, faisabilités et utilités. Ce cadre, dénommé PFU pour Plausibilités, Faisabilités et Utilités, généralise de nombreux cadres proposés dans le domaine de l’Intelligence Artificielle : problèmes de satisfiabili...

Étude de différentes combinaisons de comportements adaptatives

RÉSUMÉ. Cet article s’intéresse à la synthèse automatique d’agents en environnement incertain, se plaçant dans le cadre de l’apprentissage par renforcement, et plus précisément des processus de décision markoviens partiellement observables. Les agents (dénués de modèle de leur environnement et de mémoire à court terme) sont confrontés à de multiples motivations/objectifs simultanés, problématiq...

Étude et résolution exacte de problèmes de transport à la demande avec qualité de service. (Optimization of quality of service for on-demand transportation problems)

Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne

D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...